<?php
echo 'serveur lancé';